English symbolic programming system: translation to other languages